Automatic Extraction of Conversation Protocols from a Choreography Specification of Ubiquitous Web Services
نویسندگان
چکیده
While web service technology is becoming a de facto standard for integration of business applications, it is also rapidly emerging as an effective means for achieving inter-operability among the devices in network centric ubiquitous systems. When such a web service enabled device engages in a conversation with a service provider, it becomes necessary to define an interaction logic required between them. For this purpose, one can use a choreography language to specify the rules of engagement between the device and the web service provider. This paper presents a framework for automatically synthesizing conversation protocols from a choreography description defined in WS-CDL. The proposed framework adopts WSCL as a conversation protocol language, and defines a set of rules that can be used to effectively transform a WS-CDL specification intoWSCL documents for collaborating peers. It is expected that the work presented in this paper can enhance the interoperability between web service-based processes in ubiquitous systems through automating the process of extracting conversation protocols from a choreography definition.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملWeb Services Verification and Prudent Implementation
Alice&Bob notation is widely used to describe conversations between partners in security protocols. We present a tool that compiles an Alice&Bob description of a Web Services choreography into a set of servlets. For that we first compute for each partner an executable specification as prudent as possible of her role in the choreography. This specification is expressed in ASLan language, a forma...
متن کاملService Choreography and Orchestration with Conversations
Service oriented computing provides technologies that enable multiple organizations to integrate their businesses over the Internet. Typical execution behavior in this type of distributed systems involves a set of autonomous peers interacting with each other through messages. Modeling and analysis of interactions among the peers is a crucial problem in this domain due to following reasons: 1) O...
متن کاملIncorporating Preferences into Web Service Conversations
Recently web services choreography working group of W3C has published the working draft on WS-CDL (Web Services Choreography Description Language) version 1.0 which defines reusable common rules to govern the ordering of exchanged messages between web services participants. This paper considers a computing environment where mobile clients are interacting with web service providers based on a WS...
متن کاملFrom Service Conversation Models to WS-CDL
Changing business environments are forcing organizations to develop flexible and adaptable enterprise systems. To accomplish this and to solve associated systems integration issues, many are moving towards web service technology. Two key ingredients of web services based solution are service composition and service choreography. While there has been lot of advancement in respect to service comp...
متن کامل